101. A mathematical introduction to logic
Author: / (by) Herbert B. Enderton
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
E54
1972
102. A mathematical introduction to logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
103. A primer of formal logic
Author: By John C. Cooley
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
104. A profile of mathematical logic.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
Classification :
QA9
.
D37
105. A profile of mathematical logic
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
D37
106. A profile of mathematical logic
Author: DeLong, Howard
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D37
107. A profile of mathematical logic /
Author: Howard DeLong.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
.
D37
2004
108. A readable introduction to real mathematics
Author: Rosenthal, Daniel.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
Classification :
QA
93
.
R6
2014
109. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical
Classification :
QA
,
76
.
9
,.
A96B87
110. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
568
111. A science of operations
Author: Mark Priestley.,Priestley, Mark
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
Classification :
QA76
.
6
.
P73
2011
112. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
113. A structuralist theory of logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
114. A structuralist theory of logic
Author: Arnold Koslow
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
Classification :
BC
135
.
K64
115. A structuralist theory of logic
Author: / Arnold Koslow
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.
Classification :
BC
,
135
,.
K67
,
1992
116. A structuralist theory of logic
پدیدآورنده : Koslow, Arnold
موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
117. A summary of scientific method /
Author: Peter Kosso
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Science-- Methodology
118. A survey of symbolic logic
Author: Lewis, Clarence Irving
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L4
1960
119. A survey of symbolic logic
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
164
Le-S
120. A survey of symbolic logic,
Author:
Library: Shahid Motahari Library (Tehran)
Subject: Logic, Symbolic and mathematical.
Classification :
BC135
.
L4
